digraph A1{
a11 -> a12 [label="a"]
a11 -> a15 [label="b"]

a12 -> a13 [label="c"]

a13 -> a14 [label="d"]

a14 -> a12 [label="c"]
a14 -> a13 [label="b"]

a15 -> a11 [label="a"]

[initial={a11}]
[final={a11, a12, a14}]
}
